تعداد ۳ پاسخ غیر تکراری از ۳ پاسخ تکراری در مدت زمان ۰,۴۲ ثانیه یافت شد.

1. A many-sorted calculus based on resolution and paramodulation

پدیدآورنده : Christoph Walther.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Automatic theorem proving.

2. Automatisierung von Terminierungsbeweisen

پدیدآورنده : von Christoph Walther ; herausgegeben von Wolfgang Bibel.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.

3. Leich, Lieder, Sangsprüche /

پدیدآورنده : Walther von der Vogelweide ; Aufgrund der 14., von Christoph Cormeau bearbeiteten Ausgabe neu herausgegeben, mit Erschliessungshilfen und textkritischen Kommentaren versehen von Thomas Bein ; Edition der Melodien von Horst Brunner.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Walther,active 12th century., Poems-- Criticism, Textual.,Walther, 1170-1230,German poetry-- Middle High German.,Songs, German (Middle High German)

رده :

PT1670

.

A1

C67

2013

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است